Home Up Previous Next Random
Categorical skeletality generally means \(x \cong y \implies x = y\)
E.g. a skeletal preorder is a poset.